Prove a^3 - a is divisible by 6 a - Positive Integer